add GTK_HAVE_FEATURES_1_1_13 for the toggle button name changes
authorStuart Parmenter <pavlov@src.gnome.org>
Wed, 13 Jan 1999 03:34:53 +0000 (03:34 +0000)
committerStuart Parmenter <pavlov@src.gnome.org>
Wed, 13 Jan 1999 03:34:53 +0000 (03:34 +0000)
commit9da0be6730d7b7bda18d18089332f6a2c0a02c96
tree3be3ce2792b52f36bd6f471933cf1a39352f5512
parentfa75646110f1e67736953e88d7a901cf4f0e6cad
add GTK_HAVE_FEATURES_1_1_13 for the toggle button name changes
gtk/gtkfeatures.h.in